function date()
{
   var time = document.fileModifiedDate;
   var an = time.substring(time.lastIndexOf("/")+1);
   var mois = time.substring(0,time.indexOf("/"));
   var jour = time.substring(3,time.lastIndexOf("/"));
   document.write(an + "/" + mois + "/" + jour);
}